/*
 * BoardEventListener.java
 *
 * Created on 26 maj 2007, 19:46
 *
 */

package pl.krakow.ae.knp.wikiboard.gui.board;

import java.util.LinkedList;

/**
 *
 * An interface that allows Tools to send events to the Board.
 */
public interface BoardEventListener
{
    void boardModified(BoardEvent event);
}
